201. R Programming By Example :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : R.,Statistics-- Data processing.,Computers-- Mathematical & Statistical Software.,Computers-- Natural Language Processing.,Computers-- Programming Languages-- General.,Mathematical & statistical software.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Natural language & machine translation.,Programming & scripting languages: general.,Statistics-- Data processing.
رده :
QA276
.
45
.
R3
.
N383
2017eb
202. R for marketing research and analytics /
پدیدآورنده : Chris Chapman and Elea McDonnell Feit.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Marketing research-- Statistical methods.,R (Computer program language),COMPUTERS-- Programming Languages-- General.,Marketing research-- Statistical methods.,R (Computer program language)
رده :
QA276
.
45
.
R3
203. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
204. Real-time rendering /
پدیدآورنده : Tomas Akenine-Moller, Eric Haines, Naty Homan, Angelo Pesce, Michael Iwanicki, Sebastien Hillaire.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer graphics.,Real-time data processing.,Rendering (Computer graphics),Computer graphics.,COMPUTERS-- General.,Real-time data processing.,Rendering (Computer graphics)
رده :
T385
.
M635
2018
205. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
206. Recent developments and the new direction in soft-computing foundations and applications :
پدیدآورنده : edited by Lotfi A. Zadeh, Ronald R. Yager, Shahnaz N. Shahbazova, Marek Z. Reformat, Vladik Kreinovich.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Soft computing, Congresses.,Artificial intelligence.,Automatic control engineering.,Computers-- Intelligence (AI) & Semantics.,Engineering: general.,Game theory.,Mathematics-- Game Theory.,Soft computing.,Technology & Engineering-- Automation.,Technology & Engineering-- General.
رده :
Q342
207. Regression Analysis with R :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : R.,Regression analysis.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Data capture & analysis.,Database design & theory.,Information architecture.,Information visualization.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Regression analysis.
رده :
QA276
.
45
.
R3
.
C533
2018
208. Relational and algebraic methods in computer science :
پدیدآورنده : Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
209. Remote cooperation :
پدیدآورنده : Alan J. Dix and Russell Beale (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : izobraževanje -- učenje na daljavo -- teledelo -- navidezne pisarne -- telekomunikacije -- informacijske zahteve -- priročniki
رده :
HD66
.
A436
1996
210. Runtime verification :
پدیدآورنده : Christian Colombo, Martin Leucker (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
211. SAS Certification Prep Guide :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers-- General.,Computers.,Mathematics-- General.,Mathematics.
212. Scalable uncertainty management :
پدیدآورنده : Davide Ciucci, Gabriella Pasi, Barbara Vantaggi (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Uncertainty (Information theory), Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.,Programming & scripting languages: general.,Uncertainty (Information theory)
رده :
Q375
213. Scale space and variational methods in computer vision :
پدیدآورنده : Fiorella Sgallari, Almerico Murli, Nikos Paragios (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision-- Mathematics, Congresses.,Computer vision-- Methodology, Congresses.,Image processing-- Digital techniques, Congresses.,Image processing-- Digital techniques.,Informatique.,JUVENILE NONFICTION-- Computers-- General.
رده :
TA1634
.
S72
2007eb
214. Scaling, fractals and wavelets /
پدیدآورنده : edited by Patrice Abry, Paulo Gonçalves, Jacques Lévy Véhel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fractals.,Signal processing-- Mathematics.,Wavelets (Mathematics),COMPUTERS-- Information Theory.,Fractals.,Signal processing-- Mathematics.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.,Wavelets (Mathematics)
رده :
TK5102
.
9
.
L65
2009
215. Scientific Computation with Automatic Result Verification
پدیدآورنده : edited by Ulrich Kulisch, Hans J. Stetter.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Mathematics.,Microprogramming.
216. Scientific computing :
پدیدآورنده : Bertil Gustafsson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer input-output equipment.,Computer science-- Mathematics.,Computers.,History.,Mathematics.,Science-- Data processing.,Computer hardware.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- General.,Engineering-- Data processing.,Engineering-- Mathematical models.,History of mathematics.,Mathematical theory of computation.,Mathematics-- Counting & Numeration.,Mathematics-- History & Philosophy.,Numerical analysis.,Program concepts-- learning to program.,Science-- Data processing.,Science-- Mathematical models.
رده :
Q183
.
9
.
G87
2018
217. Search for TtH Production in the H Bb Decay Channel: Using Deep Learning Techniques with the CMS Experiment
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Statistics / General ; SCIENCE / Physics / Nuclear ; &COMPUTERS / Artificial Intelligence / General ; MATHEMATICS / Probability
218. Semantic applications :
پدیدآورنده : Thomas Hoppe, Bernhard Humm, Anatol Reibold, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Big data.,Semantic computing.,Semantic Web.,Big data.,COMPUTERS-- General.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
219. Semantics and algebraic specificatio
پدیدآورنده : / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
220. Simulation, image processing, and ultrasound systems for assisted diagnosis and navigation :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Stephen Aylward, João Manuel R.S. Tavares, Yiming Xiao, Amber Simpson et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Computer Hardware.,Health Informatics.,Image Processing and Computer Vision.,Artificial intelligence.,Computer hardware.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Network hardware.
رده :
RC78
.
7
.
D53
